六点零二乘以十的二十三次方是不是阿伏加德罗常数