theorem :: XPRIMES2:1986

canceled;