is staring's proof circular