(30)円についての諸定理