theorem :: XPRIMES2:3827

canceled;