存在証明#4

27:27 > 16