theorem :: XPRIMES2:7761

canceled;