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