H-theories, fragments of HA and PA-normality