for a being Real st |.a.| = |.(1 - a).| holds
a = 1 / 2