. "The Li7La3Zr2O12 may be one in which another metal such as strontium, barium, silver, yttrium, lead, tin, antimony, hafnium, tantalum and niobium is substituted for a part of each of lithium, lanthanum and zirconium." . . .