While going through the tutorials I always feel one should have a very firm grip on mathematical proofs for the algorithms we design. On the same note I am unable to find a beginner level yet comprehensive tutorial for the same. Are there any sources from which mathematical proof writing for the solutions to prove its correctness can be learnt? If its added to the Competitive Programming playlist, it will be much much better.