1025 = (2 * 512) + 1 ;
hence not 2 divides 1025 ; :: thesis: verum