“…This assures a 3-adic solution of (E) by HenseΓs lemma. If y Q is a solution of the congruence (3) or (4), then take (0, y Q , ±1) according to (3) or (4) and we can easily show JFXO, y 0 , ±1) = 0 (mod 27) and (dF/dz)(Q, y 0 , ±1) = 0 (mod 3) ^ 0 (mod 3 2 ). Thus we obtain a 3-adic solution of (E).…”