theorem :: XPRIMES2:7008

canceled;