>>43
久しぶり、定理の証明は完成した?