theorem :: XPRIMES2:1995

canceled;