\input{intro}

\input{definitions}
\input{postulates}
\input{common_notions}

\input{propositions/proposition_1}
\input{propositions/proposition_2}
\input{propositions/proposition_3}
\input{propositions/proposition_4}
\input{propositions/proposition_5}
\input{propositions/proposition_6}
\input{propositions/proposition_7}
\input{propositions/proposition_8}
\input{propositions/proposition_9}
\input{propositions/proposition_10}
\input{propositions/proposition_11}
\input{propositions/proposition_12}
\input{propositions/proposition_13}
\input{propositions/proposition_14}
\input{propositions/proposition_15}
\input{propositions/proposition_16}
\input{propositions/proposition_17}
\input{propositions/proposition_18}
\input{propositions/proposition_19}
\input{propositions/proposition_20}
\input{propositions/proposition_21}
\input{propositions/proposition_22}
\input{propositions/proposition_23}
\input{propositions/proposition_24}
\input{propositions/proposition_25}
\input{propositions/proposition_26}
\input{propositions/proposition_27}
\input{propositions/proposition_28}

\iffalse
\input{propositions/proposition_29}
\input{propositions/proposition_30}
\input{propositions/proposition_31}
\input{propositions/proposition_32}
\input{propositions/proposition_33}
\input{propositions/proposition_34}
\input{propositions/proposition_35}
\input{propositions/proposition_36}
\input{propositions/proposition_37}
\input{propositions/proposition_38}
\input{propositions/proposition_39}
\input{propositions/proposition_40}
\input{propositions/proposition_41}
\input{propositions/proposition_42}
\input{propositions/proposition_43}
\input{propositions/proposition_44}
\input{propositions/proposition_45}
\input{propositions/proposition_46}
\input{propositions/proposition_47}
\input{propositions/proposition_48}
\fi