theorem Th98: :: GFACIRC1:98

for x, y, z being non pair set holds InputVertices (BitGFA2Str (x,y,z)) = {x,y,z}