Hawking's Area Theorem