theorem :: XPRIMES1:3827

canceled;