R1: Reflexiv ✓  (wegen n=1 )
      symmetrisch (No !)   (8;4)∈R wegen 8=2*4 
                                      aber für ( 4;8) müsste es 4 = n*8 geben, klappt nicht.
      transitiv ✓  (a,b)∈R  und  (b,c)∈R
     ==> ∃n,m   a=n*b  und b=m*c
                  ==>  a=n*m*c  mit n*m ∈ ℕ+  , also OK
    Antisymmetrisch (?)   (a,b)∈R  und  (b,a)∈R  
==>    ∃n,m  a=n*b  und b=m*a
    ==>  a=n*m*a  Wegen n*m ∈ ℕ+ , also n=m=1 ,
                    also a=b .   Somit antisymmetrisch ✓