changes theorem to factorial notation