@misc{indiciae898f09d95c23, title = {Generalized Schatunowsky theorem in a weak arithmetic}, author = {Hala King and Victor Pambuccian}, year = {2025}, url = {https://arxiv.org/abs/2506.08256}, note = {Source identifier: 2506.08256} }