P
Initializing...
The motive of the projective line is the sum of the unit and the Lefschetz motive · Prove2Me