"이론"이 아님을 결과로 증명