theorem
  arctan 0 = 0 & arctan.0 = 0
proof
  arctan 0 = 0 by Th35,Th41;
  hence thesis;
end;
