Finitely presented scheme