theorem :: XPRIMES2:7245

canceled;