theorem
  {v} is Coset of (0).V
proof
  v + (0).V = {v} by Th46;
  hence thesis by Def6;
end;
