Shirshov basis

GPTKB entity