theorem :: XPRIMES2:6245

canceled;