Title: Some implicit functional theorems