Vi vj ^ 1 = ty er vtr ( j?