(6046 * 10000) + 6177 = (2 * ((3023 * 10000) + 3088)) + 1 ;
hence not 2 divides (6046 * 10000) + 6177 ; :: thesis: verum