triangularizations