Theorem preNormEDS'_two

Modification history