theorem :: EULER_2:5

canceled;