공간 증명