Här kan således tillämpas den satsen,