theorem :: XPRIMES2:510

canceled;