알고랜드의 증명알고리즘 ??