bezouts theorem