Å ena sidan ligger denslutsats