“…The pair (3, 1A) has S = 1A∪3A∪3B and M (3,1A) = R 3 -span{(1, 1, 1), (0, 9, 3), (0, 0, 9)}, so we need to establish (44,12,28,4,4, 0, 0), (−24, 8, 24, 8, 0, 0, 0), (−208, −16, 16, 0, 0, 0, 0), (448, 64, 0, 0, 0, 0, 0), using obvious no-tation. Therefore we need to verify…”