A rationality condition for the existence of odd perfect numbers. (7th April 2003)