Den ofvanstående satsen ärresultatet