On the same straight line, two other straight lines which meet at a point are equal to two other straight lines which also meet each other cannot be constructed meeting at a different point on the same side of the straight line when having the same ends as the given straight lines.
