This is Theorem 1 in a paper by [Pheidas, 1987][1].


  [1]: https://www.ams.org/journals/proc/1987-100-03/S0002-9939-1987-0891158-2/S0002-9939-1987-0891158-2.pdf