result_for : قضیه رباعیه (0 case)