The Deduction Theorem and Other Metarules for the Calculi ccqti

In th e f i r s t case I o n ly n eed to p ro ceed w i th th e a x io m ( a O l ) , an d in th e se­ cond case I use th e a x io m (aOO) in o rd e r to deduce r e p ( x , t | v ) f ro m V x w .