Greedy Theorem Proved

台上講著 TCP 的各種機制，我就在台下把 greedy theorem 證完了 XD。證明只用到 R 的 transitivity 而沒用到 reflexivity，這樣正常嗎？

雖然周老師感覺上人不錯，但我覺得周老師講話的方式讓我不太舒服…

--
幸好那半個 hylomorphism theorem 真的可以用！XD