demonstration 0585 ** apodeixis ** {demonstration}.

 

~~~~~~