theorem :: XPRIMES1:5788

canceled;