problem12 tooo long , proof not sure
problem12 a bit optmized but stil no result yet