When astronomers know that stars are different in size?