"If it's all right for you to do A, then it's all right for me to do A"
"If it's all right for you to do A, then it's all right for me to do A"
This is a nontheorem since it doesn't say that the cases are relevantly or exactly similar. Maybe it's all right for you to operate but not all right for me, because you're a doctor but I'm not.
"If it's all right for you to do A, then it's all right for me to do A"
This is a nontheorem since it doesn't say that the cases are relevantly or exactly similar. Maybe it's all right for you to operate but not all right for me, because you're a doctor but I'm not.