theorem :: XPRIMES2:1179

canceled;