theorem :: XPRIMES2:2969

canceled;