Show non-superfluousness of A5 in Bjordal's theory