👤

a+b supra b = 5 supra 3