Доказывающий докажет думающий