Statement

Lemma

A hypothesis space is PAC learnable if and only if the VC dimension is finite.

Proof