The conclusion of Theorem 3 becomes false if this requirement is omitted.
We next show how the continuity requirement on f in Theorem 2 can be weakened.
In less precise language, the requirement is that the two angles are the same in size and in orientation.
The remaining requirements of Definition 3 are also easily seen to hold in L1.
The other requirements for a type F map are also met.
the main <key/essential/detailed/precise/reasonable/minimum/further/specific> requirement