theorem :: XPRIMES2:2387

canceled;