The three squares theorem