Hitchin–Thorpe_inequality loading ...