theorem :: XPRIMES2:1386

canceled;