>>20 は負数の非存在証明で
>>21 は0の非存在証明てこと？
間違ってるのはわかるんだけど、どこがおかしいのかうまく説明できない。