>>289
歴史的には加法定理が先でしょう