＞少なくとも (意味の上でのtrue) は (実装でのnonzero) なのは確か。
じゃあこれが成り立つためには
＞ture (nonzero) と書いてあるから、
理由がこれだけじゃ足りないでしょ