4인버스로 증명한 소티메리