English: The square of the length of the hypotenuse of any right triangle is equal to the sum of the squares of the lengths of its base and vertical sides.
Lojban: lo sezypi'i be lo se mitre be lo xiptenuse be lo kurjga cibyselmla cu du lo simsumji be lo sezypi'i be lo se mitre be lo jicmu joi sraji mlana be kycy