details of the theorem
< a href=1.2561.html>return