>>918
証明力の問題