やはり、零元の存在は示せませんね。