That means that 137 is a Stern prime.
よって 137 はスターン素数である。