is finitely generated as algebra over field

1 triples
GPTKB property