theorem :: XPRIMES1:5728

canceled;