(Q, 0, +, <) と (Q^+, 1, ×, <) は同型か否か?