参考書にのっていない⇒証明ができない
が成り立つのであれば
証明が出来る命題がすべて参考書に載っていることになるな