theorem :: XPRIMES1:1984

canceled;