A proof of syllogism