Everybody understood that if ...
Everybody understood that if the proof is correct then no other recognition is needed.