theorem :: XPRIMES2:177

canceled;