KAM for the non-linear Beam equation 2: A normal form theorem