proved bubble thm