证明rankAtA=rankAAt=rankA=rankAt