従って、lにおける定理は、次のように定義される。