Prove that an isometry f is a translation if and only if there exist lines l and m that share a common perpendicular such that f=pl o pm (First Translation Theorem).