Schema theorem