If it cannot explain to a human* Yes, it was still proven. If I don't speak English but come up with a proof, I can't communicate the proof, but I have still p

If it cannot explain to a human* Yes, it was still proven. If I don't speak English but come up with a proof, I can't communicate the proof, but I have still proven (ie created proof) it.