Theorem preNormEDS_three

Modification history