theorem :: XPRIMES1:966

canceled;