Här följer en längre deduktionöfver