theorem
  Functors(A,[:B,C:]) ~= [:Functors(A,B),Functors(A,C):]
proof
  take distribute(A,B,C);
  thus thesis;
end;
