linear independence

2021