Доказательство гипотезы четырех красок, найденное в 1976 году, считается первым в математике прецедентом неклассического доказательства, то есть доказательства при помощи НЕГО. Назовите ЕГО одним словом.