Properly-degenerate KAM theory (following V.I. Arnold)