Template:Proofat

For full proof, refer: 