If H and K are positive infinite hyperreal numbers, then H + K is positive infinite. This is true because H + K is greater than H.