A proof of the isoenergetic KAM-theorem from the “ordinary” one