theorem :: XPRIMES2:6187

canceled;