Use Demonstration instead of Demonstrandum.