Theorem normEDS_four

Modification history