Proof in a few words: metric relationships