原始定理の応用