theorem :: XPRIMES1:5772

canceled;