Added proof of the theorem about substituting functions with their theta equivalents in asymptotic expressions