theorem :: XPRIMES2:1994

canceled;