🚀 go-pugleaf

$BEDCf$H?=$7$^$9!#(B

>> $BL?Bj$N1&JU$N$h$&$K$9$k$H!">e$NLd$O(B
>> (2,3)={ ... -8,-6,-4,-3,-2,0,2,3,4,6,8,.....}
>> (1)={... -8,-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,...}
>> $B$N$h$&$K$J$C$F(B (2,3)=(1) $B$H$O$J$i$J$$$h$&$J(B
>> $B5$$,$9$k$N$G$9$,!#(B

(2,3)$B$NG$0U$N85(B 2m+3n $B$O!"(B2m+3n = (2m+3n)*1 $B$h$j(B(1)$B$N85$H$J$k!#(B
$B0lJ}!"(B(1)$B$NG$0U$N85(B m $B$O!"(Bm = -m*2+m*3 $B$h$j!"(B(2,3)$B$N85$H$J$k!#(B
$B$h$C$F!"(B(2,3)=(1).     QED
--
	$BEDCf(B  $B44Bg(B  $B!w(B $B#N#E#C(B $B>pJs%a%G%#%"8&5f=j(B