Plane Figure with Maximum Area for given Perimeter is Circle

Theorem
Let $F$ be a plane figure.

Let $P$ be the length of the perimeter of $F$.

Let the area of $F$ be the largest of all the plane figures whose perimeters are of length $P$.

Then $F$ is a circle.