theorem :: XPRIMES1:768

canceled;