Utgående frän denna sats , såsom oomtwistad,