Proving that 2 shapes are similar