Talk:Haynsworth inertia additivity formula