theorem :: XPRIMES2:6969

canceled;