B7(m)

v-1.1
---
1. Word$w1 => Unique
	==> Done