Он решил проблему без доказательств