table_factor::operator*