prove 1>0