anu yecholim	- we are able
gam		- also, too
gam ..., ve-gam	- both ... and ...
hanacha		- assumption
hohacha		- proof
i-efshari	- impossible
ilutz		- constaint
ke-lomar	- that is
kodkod(-im)	- vertex (vertices)
kol-she-hu	- arbitrary
lachen		- hence, therefore
maagal		- cycle
mat'im		- corresponding
mesuyam		- specific
mikre		- case
nagdir		- let us define
nahon		- correct
naniah		- let us assume, suppose
o ..., o	- either ..., or
rechiv		- component
totzaa		- result
tzela		- edge