>>952
その証明が正しいことを知っている人は確実にいる