User:AMSWILLI/sandbox

==                                                         == impossible proving; ==

* let a-b=c * 4a-3a-4b+3b=4c-3c * 4(a-b-c)=3(a-b-c) * hence 4=3 sound's impossible;