うえこうの定理より、 爆発でなければプログラムでない(対偶) ここで、プチコンは爆発でない したがって、プチコンはプログラムでない