bourque-ligh conjecture