  With a mere usage of well-established properties of para-differential
operators, the conjugacy equations in several model KAM problems are converted
to para-homological equations solvable by standard fixed point argument. Such
discovery greatly simplifies KAM proofs, renders the traditional KAM iteration
steps unnecessary, and may suggest a systematic scheme of finding
quasi-periodic solutions of realistic magnitude.
