Theorem normEDS'_four

Modification history