Sa Proposisyon 9, hatagan ang A = [[0, -x], [1, -10x]], B = [[0, 1], [-y, -10y]], para sa x, y ≥ 0. Tugoti ang A1 o B1 nga pangitaa ang kalinaw ug ang A2 o B2 mahimong atake sa nukleyar. Ang mga kantidad x ug y nagpasabut sa stockpile sa armas sa B ug A matag usa.