A: 初春,湖面上冰化成水
B: 盛夏,草叶上形成“露珠”
C: 深秋,枫叶上形成“霜”
D: 严冬,树枝上形成“雾凇”
已知|a→|=3,|b→|=1,a→与b→的夹角为π3,那么|a→﹣4b→|等于( )