theorem :: XPRIMES2:480

canceled;