theorem :: XPRIMES2:1178

canceled;