Äîêàçàòåëüñòâ áîëåå ÷åì äîñòàòî÷íî.