Theorem preNormEDS'_three

Modification history