不變量比找出錯誤更容易定義。 這是押韻的。