であるならば、商空間 "v"/"u" は "w" に自然同型である。