for P being a_partition of {} holds P = {}