see proof that equals