multiplication probability theorem