theorem :: XPRIMES1:5706

canceled;