Feltételezve, hogy a(z) dr kifejezés kötelező, és arnold kifejezés kötelező, és fruchtenbaum kifejezés kötelező, a következő eredmény található.