theorem :: EULER_1:12

canceled;