added note to show roughly that basis holds regardless of ramification points
added mroe to the note, started to extend theorem