6回では無理の証明はどうやるの?