theorem :: XPRIMES2:1971

canceled;