https://i.imgur.com/6bXzodm.jpg

↑の証明ができました。

>>547

の定義がよくある定義と一致することが分かりますので、

>>547

の定義はOKです。

というより、よくある定義よりも良い定義です。