theorem :: XPRIMES2:1984

canceled;