>>870
@の証明については「ある」という反証が無い限り命題は真となるのがはんし