theorem :: XPRIMES2:2294

canceled;