P
Initializing...
Dris-index case s = 3 with s odd is impossible · Prove2Me