Corrected version at http://www.dcproof.com/InductiveSubset.htm