>最初の定義を無視していいケース
3yはyが3個なのにy3ではない