theorem :: XPRIMES2:530

canceled;