demonstration 0585 ** apodeixis ** {demonstration}.