“what more do we know if we have proved a theorem by restricted mean that if we merely know it’s true?”