Petunjuk U.77.1.

Setiap lingkungan basis hanya memberi syarat pada berhingga banyak koordinat.
in-context