исходить из аксиомы