옛날부터 증명되었던 것들이라고 함