ARB `hArr a+B` is an EVEN INTEGERaRb <=> a-bis an even integer `aRb hArr a lt b``aRb hArr a= b`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy