take dwa ; :: thesis: dwa is logbase
thus dwa is logbase ; :: thesis: verum