Aufg 3 equal by trans final