Included Schanuel's lemma.