theorem :: XPRIMES1:660

canceled;