Definition of Quicquid Demonstratae Rei Additur Satis Demonstratae Frustra Est