2.4

It seems ok to me. I think that the rigth theorem for the question is
6.3.16 and not 6.3.13 since phi is not in H_01.
Also I put subsubsections instead of paragraph to make them appear in
my structure on the right (it will be easier to review the whole thing
afterwards).