theorem Th14: :: JORDAN1E:14

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