環論による中国剰余定理の証明を理解した俺はセーフか