The Pythagorean theorem is only true in Euclidian space, where that “stretching” assumption is true. So you are right about there being assumptions, and indeed they are imposing limitations to the applicability of the theorem.