enters ciclotomics y classes de equivalencia

f(mk+n) = e^{(n/m)·pi·i} ==>

x^{(m/n)}+1 = 0 ==>

[Ey][ y€Z & (yx)^{(m/n)}+y^{(m/n)} = 0 ]

( (mk+n)·e^{(n/m)·pi·i·} )^{(m/n)}+(mk+n)^{(m/n)} = 0

f(mk+n) = a^{(n/m)}·e^{(n/m)·pi·i} ==>

x^{(m/n)}+a = 0 ==>

[Ey][ y€Z & (yx)^{(m/n)}+ay^{(m/n)} = 0 ]

( (mk+n)·(a^{(n/m)}·e^{(n/m)·pi·i·}) )^{(m/n)}+a·(mk+n)^{(m/n)} = 0

f(mk+n) = a^{(n/m)}·e^{(n/m)·pi·i} ==>

x^{(m/n)}+a = 0 ==>

f(pk+q) = b^{(q/p)}·e^{(q/p)·pi·i} ==>

z^{(p/q)}+b = 0 ==>

[Ey][ y€Z & (yx)^{(m/n)}+ay^{(m/n)}+(yz)^{(p/q)}+by^{(p/q)} = 0 ]

( (mk+n)·(pk+q)·(a^{(n/m)}·e^{(n/m)·pi·i·}) )^{(m/n)}+a·( (mk+n)·(pk+q) )^{(m/n)}+...

... ( (mk+n)·(pk+q)·(b^{(q/p)}·e^{(q/p)·pi·i·}) )^{(p/q)}+b·( (mk+n)·(pk+q) )^{(p/q)} = 0

f(mk+n) = e^{(n/m)·pi·i} ==>

x^{(m/n)}+1 = 0 ==>

[Ey][Ez][ ( y€Z & z€Z ) & (yzx)^{(m/n)}+(yz)^{(m/n)} = 0 ]

( (mk+n)·(mk+n)·e^{(n/m)·pi·i·} )^{(m/n)}+( (mk+n)·(mk+n) )^{(m/n)} = 0