Text this: ON VAN LAMOEN'S THEOREM.