規則性がないことを証明することってできるの?