The abc Conjecture may have been proven by a Japanese mathematician - but what is it?