Bachet's conjecture