theorem :: XPRIMES2:7952

canceled;