It's even simpler to note that by Brouwer's Fixed Point Theorem (any
continuous mapping of a unit ball to itself will have a fixed point), if
VPerp_To_Vector() could be made continuous, there would be at least one unit
vector that is "perpendicular" to itself. Whoops!
Anders