User blog comment:Wythagoras/All my stuff/@comment-5029411-20130715142856/@comment-5029411-20130716003310

LittlePeng9, phi(@,0,...,b) = phi(@,0,...,alpha), where alpha = b, rules 3-5 accepted.