theorem :: XPRIMES2:952

canceled;