This combination of words seems strange.
Like: proof of ‘zero’ or proof of ‘left’.
All of them have definitions, not proofs.
(Qualitative distinction of different infinity types has a proof though)