Twierdzenie o mnożeniu