What nationality was the mathematician who proposed the Legendre's conjecture?