Theorem preNormEDS_two

Modification history