theorem :: XPRIMES2:1987

canceled;