theorem :: XPRIMES2:4780

canceled;