Normal not implies finite-pi-potentially characteristic in finite