theorem Th8: :: FRIENDS1:8

for x being object
for FSG being Friendship_Graph holds 2 divides card (Im (FSG,x))