Los puntos clave no están disponibles para este artículo en este momento.
Este trabajo fue apoyado en parte por la Fundación Nacional de Ciencias bajo la concesión NSF MCS 76-22940.
Ryszard S. Michalski (Wed,) estudió esta cuestión.