theorem :: XPRIMES2:611

canceled;