이는 마리가 증명한다