결국 연쇄적으로 봤을 떈, a^(2n)=8X+k^(2n)의 꼴로 나타내짐을 의미합니다. X는 어떤 정수값, n은 자연수 그러므로 일반화하여 k^4가 0이 되어야 한다는 조건을 적용시킨 것입니다.