En sats af medellängdi