theorem :: XPRIMES2:9248

canceled;