Algorithm theory for QR Householder.