theorem :: XPRIMES2:5245

canceled;