The ancient Egyptians tied 13 to a rope, divided the rope into sections with the same length as 12, and then one companion took 1 and 13, and the other two companions took the fourth and eighth sections respectively, and then propped up the rope, thus obtaining a right angle. Understand the Pythagorean Inverse Theorem in the way of thinking of ancient Egyptians.