https://komoiyo.github.io/posts/pushpa-on-prime/