take +infty ; :: thesis: +infty is positive
thus +infty is positive ; :: thesis: verum