Знающий не доказывает, доказывающий не знает.