här antaga en tillämpning af den satsen , att alltondt