Agoh's conjecture