A property of sharply 3-transitive finite permutation sets