If A = [[sin α, cos α], [-cos α, sin α]], verify that A^T A = I2