bù​biàn

invariant