이는 알베르와 카르테시아의 667p 순애야스가 증명한다