Intuitively obvious but nice to see spelled out.