P
Initializing...
III's res1bN from the negative Bianchi (b) · Prove2Me