DOITQ Proof