First theorems prooved