どの加法定理のことを言っているのか。