Denna sats uttryckes äfven på följande sätt: