theorem :: EULER_2:6

canceled;