Intro

Lemme 1 fini