theorem :: XPRIMES2:4010

canceled;