DouKaku?

やっぱり「どこから出てきたの？」って気はしますよね。意味はよく分かりませんが、なんとなく a[1] の大きさを評価すればいいんじゃないかと思って

a[1] = なんかa[1]を含まない式

みたいにできないかなと思っていたら気が付きました。