訂正。
どれか二つが等しい事が必要。
r≡b(mod3)のとき統一できる。
実際rb=0になるまで黄色にする。
r=0になったとしてよい。
y=0なら終。(元々(r,b,y)=(0,n,0)だった場合だけど)
(b≡r≡0(mod3)だからbは3の倍数残ってる。
bbby→rbbr→yybr→yyyy
で完成。