Lin Alg: Showing that A-transpose x A is invertible