Bachet's theorem