Brahmagupta's_identity loading ...