>>7
それって1が存在することの証明にはならんで