theorem :: XPRIMES1:5767

canceled;