Mazurの成長数予想と合同式 | Synapse