No matches were found for subject:"\[sage\-devel\] Can I easily prove a contradiction of the form 0=1 in sage\?"