theorem :: XPRIMES2:2584

canceled;