rankA≧rank (A^tA) はあたりまえ。
A の線型独立な rank A 個の列ベクトルからなる行列と
その転置の積は rank A 次正則行列であり、しかも S 中に
小行列として現れているので、rankA≦rankS.