theorem :: XPRIMES2:2187

canceled;