This implication is true so, let us say star, star is true because here is where we will introduce the, we will need the additional property of an ideal.
இந்த விளைவு உண்மைதான். ஏனென்றால் இங்கே நாம் அறிமுகப்படுத்துவோம், ஒரு சீர்மத்தின் கூடுதல் பண்பு நமக்கு தேவைப்படும்.