theorem :: XPRIMES2:5952

canceled;