theorem :: XPRIMES2:1980

canceled;