Two Fifths as Pandigital Fraction

Theorem
There are $3$ ways $\dfrac 2 5$ can be made using all $9$ of the digits from $1$ to $9$:


 * $\dfrac 2 5 = \dfrac {6894} {17235}$


 * $\dfrac 2 5 = \dfrac {8694} {21735}$


 * $\dfrac 2 5 = \dfrac {9486} {23715}$

Proof
Can be verified by brute force.