theorem :: XPRIMES2:1187

canceled;