Grenzlehrdorn Satz