8코 각등이 > 5코 각수연은 증명되었다