théorème de John