tist demonstration : summans obetydlighetbewisar