cap-theorem public under concept 1247, theorem 13 List Picture As a command Nothing is filed under cap-theorem.