If immediate translation to standard means is possible, the non-standard proof adds no mathematical ...
This proposition has not been edited since the history system was added.