If then verify that ATA = I2.

Given,









Hence verified


8