The finite simple groups have been completely classified .
The finite simple groups have been completely classified ( the classification of finite simple groups ) .