theorem :: JORDAN1B:5

for P being Simple_closed_curve holds W-max P <> E-max P