4 ms·It should at least attempt to simplify its theorem, if even mechanically.by AstralStorm 4y agoIt should at least attempt to simplify its theorem, if even mechanically.