theorem :: XPRIMES2:1218

canceled;