Euclid 's proofs are essentially correct , but strictly speaking sometimes contain gaps .
He tacitly uses some unstated assumptions .
Euclid 's proofs are essentially correct , but strictly speaking sometimes contain gaps because he tacitly uses some unstated assumptions .