Prove that if there are f ≥ cnode(G)

2 Byzantine entities in G, then consensus among the nonfaulty entities cannot be achieved even if G is fully synchronous and restrictions GA hold.