反復補題って難しいなぁ
もうダメぽ