Usuário(a):Germano pires de carvalho/Forma normal de Skolem