The 'last theorem' that has recently been solved