subassumption

فرض ثانویه
فرض فرعی