>>955
定理の証明なら1950年代に出来てるぞ