Simplicity is a required characteristic in a good algorithm that can be mathematically verified

Explanation

Simplicity is a subjective characteristic that cannot be proven mathematically.  It needs an expert to analyse and decide.  Nevertheless, a simpler code would have less bugs, could be faster, and easier to understand and program.