This theorem states that if a and b are positive integers, then their sum a + b is also a positive integer. This is true because both a and b are positive, so their sum must be positive as well.
This excerpt proves the Pythagoras' Theorem using Euclid's proof.