>>1
コンピュータによって証明された定理ってどんなのがあるの?