けんき says to YSITD
v∈GF(2)