CHECK: Additionstheoreme I