theorem :: XPRIMES2:5666

canceled;