GXWBG Airbus A British Airways C56W56Y219 2x RR Trent XWB97 Ferried TLS LHR on delivery40 DRESKIP ¥1,970 ZOZOTOWN DRESKIP i h X L b v j ̃o b O i u b N n j ȂǖL x Ɏ 葵 t @ b V ʔ̃T C g ł B g g o b O o b N p b N A b N ȂǁA ԃA C e ŐV g h A C e ܂ŃI C ł w ܂ B V A C e ג II)\{u,v} which have degree 1 in X Let b be1ifu has degree 1 in X and 0 otherwise The number of vertices of degree 1inG 1(X)isa 1 a 2 b2 The number of vertices of degree 1 in Im φ is at most a 1 a 2 b1 Hence Im φ and G 1(X) are not isomorphic, a contradiction 2 Decidability of graph inequalities We could now start considering all
2