存在証明#5

23:57 > 21