(This is joint work with Martin Pizarro). We prove that for any prime p the theory of separably closed fields of characteristic p is equational. This was known before for finite degree of imperfection.