>>943
ほとんど証明の定義そのままだろ