前者だけでも足りているけれど、
前者から後者を導くのは自明というほどには簡単ではないので、
ショートカットして後者を定義なり定理なりの既知の命題としてると思う。