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