6年を超えたゼロ除算の発見と0除算算法の発見