P
Initializing...
Lagarias criterion is equivalent to RH · Prove2Me