theorem :: XPRIMES2:5205

canceled;