Generalized Nash-Moser (Hard) Implicit Function Theorems, Whitney Regularity, degenerate KAM, resonating cavities, wave equation, borrowing of parameters, Zehnder