Number Of Relations From A To B Proof