dVt antages , att han , c_