theorem :: XPRIMES2:8234

canceled;