take D = { the isotone Rule of S}; :: thesis: D is isotone
thus D is isotone ; :: thesis: verum