theorem :: XPRIMES2:1983

canceled;