let mathd-numbertheory-227 = `!x:num y:num n:num. (x > 0 /\ y > 0 /\ n > 0) /\ (&x / &4 + &y / &6 = &(x + y) / &n) ==> n = 5`;;