Theorem preNormEDS_even

Modification history