Следствия из аксиом(1-3)