Removed unnecessary hypothesis.
Removed unnecessary hypothesis.

Ignore-this: 25c9053c3019cb1adfc7df8c66c7c691

darcs-hash:20110405150506-3bd4e-991423ec03c050d8695db68e7e3bcceecf07d500.gz

asr/fotc,asr/fotc