tauto method proved through example 3