内積の公理って何よ?