無価値証明頑張ってたけどそもそも前提が間違ってんだよな