The generator of any quantum operation satisfying the semigroup property must have the form of a Lindbladian