A note on Leśniewski's axiom system for the mereological notion of ingredient or element