0.5+0.5=1 is acceptable by most people. This indicates that not all the equations are require to prove.