Reference to Yasuda

Contrary to what we said in commit
228a61b42f1d482dfafa7a348495b13b0bd7c716
there is a reference for the result proved in that commit. We have added
it in this commit. We also clarified the situation re ideals of
definition and what the statement means for (usual) formal schemes.