P
Initializing...
The algorithmic equality of the kernel is not transitive · Prove2Me