lemma

public under theorem 13

List Picture As a command