The theorem we proved - that a transformation preserving distances is linear - is now part of the standard treatment of the geometry of function spaces.
Ang teorama namin proved - na ang isang pagbabagong-anyo pagpepreserba distances ay pahaba - ngayon ay bahagi ng standard na paggamot ng geometry ng mga function ng mga puwang.