Modified outside buffer range theorem to consider edge case where = address range