Theorem preNormEDS'_four

Modification history