theorem :: XPRIMES1:5678

canceled;