for a being positive Real holds seq_a^ (a,1,0) is positive