循環論法になるから証明にならんて書いてあるがな