ILU2_D06proofs_0402