theorem :: XPRIMES2:1991

canceled;