>>539
それは正しいが証明できないとほぼ詰み