theorem :: XPRIMES2:9284

canceled;