theorem :: XPRIMES1:5766

canceled;