I would like to redefine multiplication by adding a new step. After taking the product, what if we sum the digits. Now the definition of primes would be modified in such that primes are natural numbers (excluding 0) that cannot be generated by our new multiplication. Here is a more mathematical definition of our new multiplication M = {z | x, y $\in \mathbb{N}$, x,y $\neq$ 1 and z $\in$ $\sum_{n=0} ^m {\lfloor\frac{x*y}{10^{n}}\rfloor\mod{10}}$} where m is the number of digits inside x*y. Note: we cannot use 1 as either multiplicand and multiplier and that division would stay the same as it is traditionally meaning the method of getting the division with multiplication operands remains the same. Here's a few small examples: $$3*4 = 12 \rightarrow 1 + 2 = 3 $$ $$5*2 = 10 \rightarrow 1 + 0 = 1 $$ $$52*23 = 1219 \rightarrow 1 + 2 + 1 + 9 = 13 $$
From my intuition, it shouldn't exists a prime number in the new definition of multiplication operator. But how can I Prove or Disprove it?
Specification of the Problem: $\neg \exists$ x $\in$ $N$ s.t. x $\notin$ M.
I've thought of using Proof by Induction to maybe prove the statement which it's not rudimentary for me to applied in this situation. Maybe I'm making things to complicated for myself and such there exist a simple solution that is going over my head. How should I approach it?