[092.thm]