B.V. ==> Bounded

金次寫的版本我覺得怪怪的，所以自己寫一個，不過比金次的長 XD。

--
歡迎抓 bug 或提供更好的證明 XD。