theorem :: EULER_2:1

canceled;