Sibuya's theorem

GPTKB entity