一个定理必定有它对应的实体