theorem :: XPRIMES2:1978

canceled;