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