>>137
取り敢えず、それは、nonzeroがtrueで無いことを証明しなければ納得してもらえないだろう