take t = the Element of D; :: thesis: D,R |- t
t is D -axiomatic ;
then t is D,R -provable ;
hence D,R |- t ; :: thesis: verum