theorem :: XPRIMES2:7771

canceled;