>>Your is not the only rusty latin...
>>
>>>Again, demonstrandum is the infinitive of the verb?
>>
>>Nope, that should be demonstrare. Demonstrandum is passive.
>
>As I figured. I didn't know what what ending the infinitive would have, but I knew that they're usually "are" or "ire" or "ere" or some such, like in modern latin-based langs (French, Italian). Thus I thought it didn't mean "to be shown" - rather "is shown/demonstrated"
>
>Danke, Thomas (if German had Latin declensions, incl. the vocative, that would be Thome :-)

IIRC, the meaning is not only in passive "to be shown" but also has a large touch of "needed to be shown".

But that was loooong ago

thomas