Иллюстрации следствий из аксиом с доказательствами