Prove that a shorter line whose lenght is equal to given line can be cut off from the other longer straight line.