Theorem preNormEDS_four

Modification history