theorem :: XPRIMES2:1988

canceled;