theorem :: XPRIMES2:1927

canceled;