theorem :: XPRIMES2:6952

canceled;