QUOD ERAT DEMONSTRANDUM

d