theorem :: XPRIMES2:4952

canceled;