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