Here's the stuff we found when you searched for "With a few more introductory remarks, my proof will be complete"

If you Log in you could create a "With a few more introductory remarks, my proof will be complete" node. If you don't already have an account, you can register here.