Showing that A-transpose x A is invertible