I think you two just proved a Ramanujan congruence.
I think you two just proved a Ramanujan congruence." Yes, instead of "I only hit enter once, honest," we can say, "Sorry, must have been a Ramanujan congruence."