이는 로렌스, 마리아, 미콜라시, 훈타가 증명