ループ不変表明
【るーぷふへんひょうめい】
【ru-pufuhenhyoumei】
回路不变量断言