Indirect prove :-)