存在証明#9

29:16 > 9