theorem :: XPRIMES2:5265

canceled;