The free Grothendieck theorem