added final propositions and corollaries.