この結果は低基底定理は上記の結果を精緻化するものである.
低基底定理は