If then the terms are universally related, it is clear in this figure when a deduction will be possible and when not, and that if a deduction is possible the terms must be related as described, and if they are so related there will be a deduction.