theorem :: XPRIMES1:960

canceled;