Hawkins–Simon theorem