theorem :: XPRIMES2:8952

canceled;