> > はい
> はいははいに

Highに入り振れ背理法

参考：2005/10/14(金)02時51分27秒