>>51
前提が正しいかどうかをまず検証することが必要

その答えは>>51が新たに用意した前提から導かれているだけ。