clarified stored thm: result from notes;
tuned;