Double Pointed Fortissimo Space is not Sigma-Compact

Theorem
Let $T = \struct {S, \tau}$ be a Fortissimo space.

Let $T \times D$ be the double pointed topology on $T$.

Then $T \times D$ is not $\sigma$-compact.