The basis of proportional navigation was first discovered at sea .
The basis of proportional navigation was first was used by navigators on ships to avoid collisions .
The basis of proportional navigation was first discovered at sea , and was used by navigators on ships to avoid collisions .