viktiga satsen , som skulle bevisas.