Следствия из аксиом I - III