(((3486 * 100) + 78) * 10000) + 4402 = (5 * ((((6973 * 10) + 5) * 10000) + 6880)) + 2 ;
hence not 5 divides (((3486 * 100) + 78) * 10000) + 4402 by NUMBER02:33; :: thesis: verum