Aas similarity theorem