(2001•杭州)在下列语句中属于定理的是(  )