hoyles social network theorem