theorem :: XPRIMES2:5827

canceled;