4q + 1 for some integer q.