theorem :: XPRIMES2:1480

canceled;