Garijo et al.'s conjecture. Every twin-free graph GGG of order nnn without isolated vertices satisfies