\input{content/crs1_definitions}

\input{content/crs2_theoremes}