legendres conjecture