Does anyone know what theorem it is? #analysis