id	keyword
ejpam-4412	class
ejpam-4412	operator
ejpam-4412	wa(s
ejpam-4412	theorem
ejpam-4412	ker(t