prove db o INST = dbINST o db