Thus (2) is established.
अतः (2) सुमेलित है।