Bhaskara's_lemma loading ...