三氧化二铝是固体吗