theorem :: XPRIMES2:1510

canceled;