Az ABCD konvex négyszögben AB+BD nem nagyobb, mint AC+CD. Bizonyítandó, hogy akkor az AB oldal kisebb az AC átlónál.