Вы понимаете, чем я занимаюсь? Я создал 4 системы доказательства