theorem :: EULER_2:9

canceled;