pytaghoras meets bayes