demonstrandum

not defined yet