Brocard’s theorem