theorem :: XPRIMES2:7971

canceled;