이는 논리적으로 증명된 사실