<aside> 💡

</aside>

불변식