If verify that ATA = I2.

Given,








Hence,


9