P
Initializing...
The constant term of `S(B_aᵛ)` is `1`. · Prove2Me