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

phi(0 @) = phi(@) is a rule itself, don't cheat yourself.