P
Initializing...
The first orbit q-subdiagonal is right translation two steps later · Prove2Me