theorem Th32: :: EQREL_1:32

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