theorem :: XPRIMES2:1448

canceled;