Aufg3... equal by trans
Aufg 3 equal by trans final