theorem :: XPRIMES2:9206

canceled;