theorem :: XPRIMES1:1960

canceled;