Added a rule so that CanProve(1==1) can be simplified to true, i.e. m==n for numbers is m=n.
Added a rule so that CanProve(1==1) can be simplified to true,
i.e. m==n for numbers is m=n.

grzegorzmazur/yacas,tomaszkrysiuk/yacas,martanoga/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,MateuszSnamina/yacas,martanoga/yacas,grzegorzmazur/yacas,qwert2003/yacas,grzegorzmazur/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,martanoga/yacas,tomaszkrysiuk/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,martanoga/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,qwert2003/yacas,martanoga/yacas,qwert2003/yacas,MateuszSnamina/yacas,qwert2003/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,tomaszkrysiuk/yacas,grzegorzmazur/yacas,martanoga/yacas,tomaszkrysiuk/yacas,martanoga/yacas,qwert2003/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,qwert2003/yacas