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