If then verify that ATA = I2.


Given,









Hence verified


8
1