theorem :: XPRIMES2:2952

canceled;