Envelopes, Existence theorem of space curve