Uniqueness theorem for completely non-degenerate B-groups | Synapse