As math geeks would say, quod erat demonstrandum.