Query User
nancy rosier theorems entered by user 3769610