theorem Th10: :: FRIENDS1:10

for x being object
for FSG being Friendship_Graph st FSG is without_universal_friend & x in field FSG holds
card (Im (FSG,x)) > 2