cap-theorem public under concept 1247, theorem 13 List Picture As a command %3 n0 cap-theorem n1 concept n1->n0 n2 theorem n2->n0