theorem Th2: :: HILB10_2:2

for X being set
for f being b₁ -defined Function
for perm being Permutation of X holds card (support (f * perm)) = card (support f)