発見証明数でなに?