6. Доказательство следствия аксиом 2 и 3