1. Prove rank(BTAT)- rank(AB) (25%)