KAM theory, action-angle variables, reducubility, translated curve theorem